Frias, Marcelo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Equational Reasoning in Non-Classical Logics

Frias, Marcelo, Orlowska, Ewa

Journal:

Journal of Applied Non-Classical Logics

Year:

1998

Language:

english

File:

PDF, 1.79 MB

english, 1998

2

Automated workarounds from Java program specifications based on SAT solving

Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, Frias, Marcelo F.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 802 KB

english, 2018

3

Modulation of the flow structure by progressive bedforms in the Kinoshita meandering channel

Abad, Jorge D., Frias, Christian E., Buscaglia, Gustavo C., Garcia, Marcelo H.

Journal:

Earth Surface Processes and Landforms

Year:

2013

Language:

english

File:

PDF, 1.78 MB

english, 2013

4

BLISS: Improved Symbolic Execution by\\ Bounded Lazy Initialization with SAT Support

Rosner, Nicolas, Geldenhuys, Jaco, Aguirre, Nazareno, Visser, Willem, Frias, Marcelo

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 1.54 MB

english, 2015

5

Inference engine based on closure and join operators over Truth Table Binary Relations

Elloumi, Samir, Boulifa, Bilel, Jaoua, Ali, Saleh, Mohammad, Al Otaibi, Jameela, Frias, Marcelo F.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 853 KB

english, 2014

6

International Scientific Collaboration in HIV and HPV: A Network Analysis

Vanni, Tazio, Mesa-Frias, Marco, Sanchez-Garcia, Ruben, Roesler, Rafael, Schwartsmann, Gilberto, Goldani, Marcelo Z., Foss, Anna M., Scheurer, Michael

Journal:

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

7

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - A strategy for efficient verification of relational specifications, based on monotonicity analysis

Frias, Marcelo F., Gamarra, Rodolfo, Steren, Gabriela, Bourg, Lorena

Year:

2005

Language:

english

File:

PDF, 193 KB

english, 2005

8

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Goal-conflict likelihood assessment based on model counting

Degiovanni, Renzo, Castro, Pablo, Arroyo, Marcelo, Ruiz, Marcelo, Aguirre, Nazareno, Frias, Marcelo

Year:

2018

Language:

english

File:

PDF, 1.80 MB

english, 2018

9

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Abad, Pablo, Aguirre, Nazareno, Bengolea, Valeria, Ciolek, Daniel, Frias, Marcelo F., Galeotti, Juan, Maibaum, Tom, Moscato, Mariano, Rosner, Nicolas, Vissani, Ignacio

Year:

2013

Language:

english

File:

PDF, 244 KB

english, 2013

10

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - DynAlloy

Frias, Marcelo F., Galeotti, Juan P., López Pombo, Carlos G., Aguirre, Nazareno M.

Year:

2005

Language:

english

File:

PDF, 199 KB

english, 2005

11

Dynamite

Moscato, Mariano M., Pombo, Carlos G. Lopez, Frias, Marcelo F.

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2014

Language:

english

File:

PDF, 2.60 MB

english, 2014

12

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Debugging without Testing

Ghardallou, Wided, Diallo, Nafi, Mili, Ali, Frias, Marcelo F.

Year:

2016

Language:

english

File:

PDF, 264 KB

english, 2016

13

[ACM Press the 11th International Workshop - Gothenburg, Sweden (2018.05.28-2018.05.29)] Proceedings of the 11th International Workshop on Search-Based Software Testing - SBST '18 - From operational to declarative specifications using a genetic algorithm

Molina, Facundo, Degiovanni, Renzo, Regis, Germán, Castro, Pablo, Aguirre, Nazareno, Frias, Marcelo

Year:

2018

Language:

english

File:

PDF, 119 KB

english, 2018

14

Improving lazy abstraction for SCR specifications through constraint relaxation

Degiovanni, Renzo, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo

Journal:

Software Testing, Verification and Reliability

Year:

2018

Language:

english

File:

PDF, 2.55 MB

english, 2018

15

[ACM Press the 11th International Workshop - Gothenburg, Sweden (2018.05.28-2018.05.29)] Proceedings of the 11th International Workshop on Search-Based Software Testing - SBST '18 - On the effect of object redundancy elimination in randomly testing collection classes

Ponzio, Pablo, Bengolea, Valeria, Brida, Simón Gutiérrez, Scilingo, Gastón, Aguirre, Nazareno, Frias, Marcelo

Year:

2018

Language:

english

File:

PDF, 112 KB

english, 2018

16

Expression of MDGA2 novel gene is downregulated in human tumors

C. De Juan Chocano, A. Díaz López, P. Iniesta Serrano, A. Morán Millán, C. Frías García, P. Ortega Esteban, T. Fernández Marcelo, A. Sánchez Pernaute, A. Torres García, M. Benito de las Heras

Journal:

European Journal of Cancer Supplements

Year:

2008

Language:

english

File:

PDF, 85 KB

english, 2008

17

An evolutionary approach to translating operational specifications into declarative specifications

Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo F., Aguirre, Nazareno, Frias, Marcelo F.

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 499 KB

english, 2019

18

Interpretability of first-order linear temporal logics in fork algebras

Marcelo F. Frias, Carlos G. López Pombo

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 3.95 MB

english, 2006

19

Telomere function and p16/RB and p53-mediated senescence pathways in human cancer

T. Fernández-Marcelo, C. Frías, C. De Juan, A. Morán, P. Ortega, J.A. López-Asenjo, A. Sánchez-Pernaute, A.J. Torres, M. Benito, P. Iniesta

Journal:

European Journal of Cancer Supplements

Year:

2008

Language:

english

File:

PDF, 89 KB

english, 2008

20

What is a fault? and why does it matter?

Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Frias, Marcelo, Jaoua, Ali, Mili, Ali

Journal:

Innovations in Systems and Software Engineering

Year:

2017

Language:

english

File:

PDF, 811 KB

english, 2017

21

Mast Cell Function and Death in Trypanosoma cruzi Infection

Marcelo Meuser-Batista, José Raimundo Corrêa, Vinícius Frias Carvalho, Constança Felícia De Paoli de Carvalho Britto, Otacilio da Cruz Moreira, Marcos Meuser Batista, Maurílio José Soares, Francisco A

Journal:

The American Journal of Pathology

Year:

2011

Language:

english

File:

PDF, 3.15 MB

english, 2011

22

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Ranger: Parallel analysis of alloy models by range partitioning

Rosner, Nicolas, Siddiqui, Junaid H., Aguirre, Nazareno, Khurshid, Sarfraz, Frias, Marcelo F.

Year:

2013

Language:

english

File:

PDF, 517 KB

english, 2013

23

-based reduction of bounded exhaustive testing

Bengolea, Valeria, Aguirre, Nazareno, Marinov, Darko, Frias, Marcelo

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 1.48 MB

english, 2014

24

Reasoning about static and dynamic properties in alloy

Frias, Marcelo F., López Pombo, Carlos G., Baum, Gabriel A., Aguirre, Nazareno M., Maibaum, Thomas S. E.

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 641 KB

english, 2005

25

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Field-exhaustive testing

Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo F., Visser, Willem

Year:

2016

Language:

english

File:

PDF, 567 KB

english, 2016

26

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour

Regis, Germán, Cornejo, César, Gutiérrez Brida, Simón, Politano, Mariano, Raverta, Fernando, Ponzio, Pablo, Aguirre, Nazareno, Galeotti, Juan Pablo, Frias, Marcelo

Year:

2017

Language:

english

File:

PDF, 573 KB

english, 2017

27

Characteristic classes and transversality

Marcelo A. Aguilar, José Luis Cisneros-Molina, Martín Eduardo Frías-Armenta

Journal:

Topology and its Applications

Year:

2007

Language:

english

File:

PDF, 236 KB

english, 2007

28

[IEEE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - San Diego, CA, USA (2019.11.11-2019.11.15)] 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Efficient Test Generation Guided by Field Coverage Criteria

Godio, Ariel, Bengolea, Valeria, Ponzio, Pablo, Aguirre, Nazareno, Frias, Marcelo Fabian

Year:

2019

Language:

english

File:

PDF, 683 KB

english, 2019

29

Significant down-regulation of DNA repair systems in non-small cell lung tumours that reactivate telomerase

C. Frías, P. Ortega, A. Morán, C. De Juan, T. Fernández-Marcelo, A. Gómez, F. Hernando, A.J. Torres, M. Benito, P. Iniesta

Journal:

European Journal of Cancer Supplements

Year:

2008

Language:

english

File:

PDF, 89 KB

english, 2008

30

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

Galeotti, Juan P., Rosner, Nicolas, Lopez Pombo, Carlos G., Frias, Marcelo F.

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 3.72 MB

english, 2013

31

Fatores que influenciam o impacto da saúde bucal nas atividades diárias de adolescentes, adultos e idosos

Bulgareli, Jaqueline Vilela, Faria, Eduardo Tanajura de, CortellazziI, Karine Laura, Guerra, Luciane Miranda, Meneghim, Marcelo De Castro, Ambrosano, Glaucia Maria Bovi, Frias, Antonio Carlos, Pereira

Journal:

Revista de Saúde Pública

Year:

2018

Language:

english

File:

PDF, 172 KB

english, 2018

32

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Training Binary Classifiers as Data Structure Invariants

Molina, Facundo, Degiovanni, Renzo, Ponzio, Pablo, Regis, German, Aguirre, Nazareno, Frias, Marcelo

Year:

2019

Language:

english

File:

PDF, 695 KB

english, 2019

33

Social vulnerability and factors associated with oral impact on daily performance among adolescents

da Cunha, Inara Pereira, Pereira, Antônio Carlos, Frias, Antônio Carlos, Vieira, Vladen, de Castro Meneghim, Marcelo, Batista, Marília Jesus, Cortellazzi, Karine Laura, Bulgareli, Jaqueline Vilela

Journal:

Health and Quality of Life Outcomes

Year:

2017

Language:

english

File:

PDF, 469 KB

english, 2017

34

Factors associated with last dental visit or not to visit the dentist by Brazilian adolescents: A population-based study

Fonseca, Emílio P. da, Frias, Antonio C., Mialhe, Fábio L., Pereira, Antonio C., Meneghim, Marcelo de C., Milgrom, Peter M.

Journal:

Year:

2017

Language:

english

File:

PDF, 1.45 MB

english, 2017

35

[IEEE 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST) - Buenos Aires, Argentina (2017.5.22-2017.5.23)] 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST) - An Analysis of the Suitability of Test-Based Patch Acceptance Criteria

Zemin, Luciano, Brida, Simon Gutierrez, Godio, Ariel, Cornejo, Cesar, Degiovanni, Renzo, Regis, German, Aguirre, Nazareno, Frias, Marcelo

Year:

2017

Language:

english

File:

PDF, 299 KB

english, 2017

36

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Bounded exhaustive test input generation from hybrid invariants

Rosner, Nicolás, Bengolea, Valeria, Ponzio, Pablo, Khalek, Shadi Abdul, Aguirre, Nazareno, Frias, Marcelo F., Khurshid, Sarfraz

Year:

2014

Language:

english

File:

PDF, 1.79 MB

english, 2014

37

Differential transcriptional profile of the Wnt pathway in sporadic colorectal cancers with and without microsatellite instability

P. Ortega, A. Morán, C. De Juan, C. Frías, T. Fernández-Marcelo, A. Sánchez-Pernaute, S. Hernández, A.J. Torres, P. Iniesta, M. Benito

Journal:

European Journal of Cancer Supplements

Year:

2008

Language:

english

File:

PDF, 93 KB

english, 2008

38

Poly (ADP-ribose) polymerase 3 (PARP3), a potential repressor of telomerase activity

Fernández-Marcelo, Tamara, Frías, Cristina, Pascua, Irene, de Juan, Carmen, Head, Jacqueline, Gómez, Ana, Hernando, Florentino, Jarabo, Jose-Ramon, Díaz-Rubio, Eduardo, Torres, Antonio-Jose, Rouleau,

Journal:

Journal of Experimental & Clinical Cancer Research

Year:

2014

Language:

english

File:

PDF, 1.25 MB

english, 2014

39

Efficient Analysis of DynAlloy Specifications

Frias, Marcelo F., Lopez Pombo, Carlos G., Galeotti, Juan P., Aguirre, Nazareno M.

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2007

Language:

english

File:

PDF, 748 KB

english, 2007

40

Completeness of a relational calculus for program schemes

Marcelo F. Frias, Roger D. Maddux

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 133 KB

english, 2001

41

TacoFlow: optimizing SAT program verification using dataflow analysis

Cuervo Parrino, Bruno, Galeotti, Juan Pablo, Garbervetsky, Diego, Frias, Marcelo F.

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

42

[ACM Press the 19th international symposium - Trento, Italy (2010.07.12-2010.07.16)] Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10 - Analysis of invariants for efficient bounded verification

Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, Marcelo Fabian

Year:

2010

Language:

english

File:

PDF, 799 KB

english, 2010

43

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Parallel bounded analysis in code with rich invariants by refinement of field bounds

Rosner, Nicolás, Galeotti, Juan, Bermúdez, Santiago, Blas, Guido Marucci, De Rosso, Santiago Perez, Pizzagalli, Lucas, Zemín, Luciano, Frias, Marcelo F.

Year:

2013

Language:

english

File:

PDF, 482 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски